$\forall$${\it the\_w}$:World, $e$:E.
\\[0ex]FairFifo $\Rightarrow$ isrcv(kind($e$)) $\Rightarrow$ ($\exists$$t$:$\mathbb{N}$$_{\mbox{\scriptsize $<$time($e$)}}$. match(lnk(kind($e$));$t$;time($e$)))